f5b59ae3cb6614110d68f1cf18a5ee269270dd06,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Equations.java,Equations,addEquation,#SNode#SNode#EquationInfo#,106

Before Change


    if (lRepresentative == null || rRepresentative == null || lRepresentative.equals(rRepresentative)) {
      return;
    }
    if (TypesUtil.isVariable(lRepresentative) || TypesUtil.isVariable(rRepresentative)) {
      processEquation(lRepresentative, rRepresentative, info);
      return;
    }

After Change


    if (lRepresentative == null || rRepresentative == null || lRepresentative.equals(rRepresentative)) {
      return;
    }
    if (TypesUtil.isVariable(lRepresentative)) {
      processEquation(lRepresentative, rRepresentative, info);
      return;
    }
    if (TypesUtil.isVariable(rRepresentative)) {
      processEquation(rRepresentative, lRepresentative, info);
      return;
    }
    if (!compareTypes(lRepresentative, rRepresentative, info)) {
      myState.getNodeMaps().reportEquationBroken(info, lRepresentative, rRepresentative);
    }